On inductive types and W-types:
Michael Abbott, Thorsten Altenkirch, Neil Ghani: Representing Nested Inductive Types using W-types, in: Automata, Languages and Programming, ICALP 2004, Lecture Notes in Computer Science, 3142, Springer (2004) [doi:10.1007/978-3-540-27836-8_8, pdf]
exposition: Inductive Types for Free – Representing nested inductive types using W-types, talk at ICALP (2004) [pdf]
Last revised on January 2, 2023 at 20:43:03. See the history of this page for a list of all contributions to it.